- purely quantified proposition
- мат.чисто кванторное предложение
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… … Universalium
Phenomenology (The beginnings of) — The beginnings of phenomenology Husserl and his predecessors Richard Cobb Stevens Edmund Husserl was the founder of phenomenology, one of the principal movements of twentieth century philosophy. His principal contribution to philosophy was his… … History of philosophy
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Glossary of philosophical isms — This is a list of topics relating to philosophy that end in ism . compactTOC NOTOC A * Absolutism – the position that in a particular domain of thought, all statements in that domain are either absolutely true or absolutely false: none is true… … Wikipedia
Philosophy of language — is the reasoned inquiry into the nature, origins, and usage of language. As a topic, the philosophy of language for Analytic Philosophers is concerned with four central problems: the nature of meaning, language use, language cognition, and the… … Wikipedia
Science and British philosophy: Boyle and Newton — G.A.J.Rogers INTRODUCTION Achievements in the natural sciences in the period from Nicholas Copernicus (1473– 1543) to the death of Isaac Newton (1642–1727) changed our whole understanding of the nature of the universe and of the ways in which we… … History of philosophy
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia